axiomatic semantics
[网络] 公理语义；公理型语义；公理化语义
热门查询
- Redcliffe n. (Redcliffe)人名；(英)雷德克利夫
- pasteurized adj. 巴氏消毒的
- porcelain n. 瓷；瓷器 adj. 瓷制的；精美的
- ITC [计] 信息终端公司
- bereavement n. 丧友，丧亲；丧失
- dimpled adj. 带酒窝的；有涟漪的 v. 使现酒窝（dimple的过去分词）
- opulent adj. 丰富的；富裕的；大量的
- cabinet n. 内阁；橱柜；展览艺术品的小陈列室 adj. 内阁的；私下的，秘密的
- Meryl [人名] 梅里尔
- flatly adv. 断然地；平平地；直截了当地
- whack n. 重击；尝试；份儿；机会 vt. 重打；猛击；击败；削减 vi. 重击
- Shaikh n. 酋长；族长
- stretch n. (Stretch)人名；(英)斯特雷奇 vt. 伸展,张开；（大量地）使用，消耗（金钱，时间）；使竭尽所能；使全力以赴； n. 伸展，延伸 vi. 伸展；足够买（或支付）
- breezily adv. 吹微风地；通风地；轻松活泼地
- unscrew vt. 旋开；旋松；从...旋出螺丝
- preventative n. 预防法；预防物 adj. 预防性的；防止的
- meticulous adj. 一丝不苟的；小心翼翼的；拘泥小节的
- thomson n. 汤姆森（①姓氏 ②Sir George Paget， 1892-1975， 英国物理学家， 曾获1937年诺贝尔物理学奖 ③Sir Joseph John， 1856-1940， 英国物理学家， 曾获1906年诺贝尔物理学奖）
- defraud vi. 进行诈骗（过去式defrauded，过去分词defrauded，现在分词defrauding，第三人称单数defrauds，名词defraudation） vt. 欺骗
- madly adv. 疯狂地；发狂地；精神失常地
